300 Keywords Informationsethik [[electronic resource] ] : Grundwissen aus Computer-, Netz- und Neue-Medien-Ethik sowie Maschinenethik / / von Oliver Bendel |
Autore | Bendel Oliver |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 |
Descrizione fisica | 1 online resource (245 p.) |
Disciplina | 170 |
Soggetto topico |
Management information systems
Ethics Business Information Systems |
ISBN | 3-658-10567-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Informationsethik -- Computerethik -- Netzethik -- Neue-Medien-Ethik -- Maschinenethik. |
Record Nr. | UNINA-9910483348403321 |
Bendel Oliver | ||
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Access to Online Resources [[electronic resource] ] : A Guide for the Modern Librarian / / by Kristina Botyriute |
Autore | Botyriute Kristina |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2018 |
Descrizione fisica | 1 online resource (VII, 42 p. 49 illus.) |
Disciplina | 020 |
Soggetto topico |
Library science
Management information systems Application software Educational technology Industrial management Library Science Business Information Systems Information Systems Applications (incl. Internet) Technology and Digital Education Media Management |
Soggetto non controllato |
access management
online resources library technology access protocols identity management authentication authorisation troubleshooting SAML |
ISBN | 3-319-73990-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Authentication and Authorisation -- Web based Authentication -- IP Address Recognition -- SAML -- OpenID Connect -- Basic Trouble Shooting. . |
Record Nr. | UNINA-9910265129103321 |
Botyriute Kristina | ||
Cham, : Springer Nature, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Accessible Tourism in the Digital Ecosystem [[electronic resource] /] / edited by Fabio Cassia, Paola Castellani, Chiara Rossato |
Autore | Cassia Fabio |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (84 pages) |
Disciplina |
338.4791
658 |
Altri autori (Persone) |
CastellaniPaola
RossatoChiara |
Collana | SpringerBriefs in Applied Sciences and Technology |
Soggetto topico |
Tourism
Management Technological innovations Business information services Quality of life Tourism Management Innovation and Technology Management Business Information Systems Quality of Life Research |
ISBN | 3-031-38782-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Chapter 1. Accessibility and accessible tourism: the conceptual evolution through the analysis of the literature -- Chapter 2. The demand for accessible tourism -- Chapter 3. The conceptual and operational perspectives of digital ecosystems for the analysis of accessible tourism -- Chapter 4. Accessible tourism from the destination perspective -- Chapter 5. Cases of accessible tourism -- Chapter 6. Conclusions. |
Record Nr. | UNINA-9910742487203321 |
Cassia Fabio | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Achieving Supply Chain Agility [[electronic resource] ] : Information System Integration in the Chinese Automotive Industry / / by Yi Wu |
Autore | Wu Yi |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 |
Descrizione fisica | 1 online resource (X, 238 p. 25 illus., 18 illus. in color.) |
Disciplina | 658.7 |
Soggetto topico |
Business logistics
Management information systems International business enterprises Asia—Economic conditions Supply Chain Management Business Information Systems Asian Business |
ISBN | 3-319-98440-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 Introduction: The phenomenon of supply chain agility -- Chapter 2 IS-enabled supply chain agility -- Chapter 3 Chinese automotive industry supply chain management -- Chapter 4 Case studies - Supply chain A -- Chapter 5 Case analysis - Supply chain B -- Chapter 6 Comparative analysis of cases -- Chapter 7 Survey Study -- Chapter 8 Concluding comments. |
Record Nr. | UNINA-9910337800903321 |
Wu Yi | ||
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXII, 530 p. 167 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Management information systems Information Systems Applications (incl. Internet) Software Engineering Database Management Business Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-319-19069-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social and Collaborative Computing -- Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management -- Editing Anxiety in Corporate Wikis: From Private Drafting to Public Edits -- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter -- Business Process Modeling and Languages -- RALph: A Graphical Notation for Resource Assignments in Business Processes -- Revising the Vocabulary of Business Process Element Labels -- Declarative Process Modeling in BPMN -- High Volume and Complex Information Management -- The Requirements and Needs of Global Data Usage in Product Lifecycle Management -- Probabilistic Keys for Data Quality Management -- A Clustering Approach for Protecting GIS Vector Data -- Requirements Elicitation and Management -- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies -- Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation -- Handling Regulatory Goal Model Families as Software Product Lines -- Enterprise Data Management -- Managing Data Warehouse Traceability: A Life-Cycle Driven Approach -- Specification and Incremental Maintenance of Linked Data Mashup Views -- A Model-Driven Approach to Enterprise Data Migration -- Model Conceptualisation and Evolution -- Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs -- Detecting Complex Changes During Metamodel Evolution -- ‘‘We Need to Discuss the Relationship’’: Revisiting Relationships as Modeling Constructs -- Process Mining, Monitoring and Predicting -- PM2: A Process Mining Project Methodology -- Completing Workflow Traces Using Action Languages -- A Novel Top-Down Approach for Clustering Traces -- Intra and Inter-Organizational Process Engineering Extracting Decision Logic from Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic Generation of Optimized Process Models from Declarative Specifications -- Process Compliance and Alignment -- Towards the Automated Annotation of Process Models -- Discovery and Validation of Queueing Networks in Scheduled Processes -- Verification and Validation of UML Artifact-Centric Business Process Models -- Enterprise IT Integration and Management -- Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies -- Integration Adapter Modeling -- Service Science and Computing -- Modelling Service Level Agreements for Business Process Outsourcing Services -- Deriving Artefact-Centric Interfaces for Overloaded Web Services. |
Record Nr. | UNINA-9910483948803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXII, 530 p. 167 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Management information systems Information Systems Applications (incl. Internet) Software Engineering Database Management Business Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-319-19069-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social and Collaborative Computing -- Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management -- Editing Anxiety in Corporate Wikis: From Private Drafting to Public Edits -- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter -- Business Process Modeling and Languages -- RALph: A Graphical Notation for Resource Assignments in Business Processes -- Revising the Vocabulary of Business Process Element Labels -- Declarative Process Modeling in BPMN -- High Volume and Complex Information Management -- The Requirements and Needs of Global Data Usage in Product Lifecycle Management -- Probabilistic Keys for Data Quality Management -- A Clustering Approach for Protecting GIS Vector Data -- Requirements Elicitation and Management -- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies -- Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation -- Handling Regulatory Goal Model Families as Software Product Lines -- Enterprise Data Management -- Managing Data Warehouse Traceability: A Life-Cycle Driven Approach -- Specification and Incremental Maintenance of Linked Data Mashup Views -- A Model-Driven Approach to Enterprise Data Migration -- Model Conceptualisation and Evolution -- Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs -- Detecting Complex Changes During Metamodel Evolution -- ‘‘We Need to Discuss the Relationship’’: Revisiting Relationships as Modeling Constructs -- Process Mining, Monitoring and Predicting -- PM2: A Process Mining Project Methodology -- Completing Workflow Traces Using Action Languages -- A Novel Top-Down Approach for Clustering Traces -- Intra and Inter-Organizational Process Engineering Extracting Decision Logic from Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic Generation of Optimized Process Models from Declarative Specifications -- Process Compliance and Alignment -- Towards the Automated Annotation of Process Models -- Discovery and Validation of Queueing Networks in Scheduled Processes -- Verification and Validation of UML Artifact-Centric Business Process Models -- Enterprise IT Integration and Management -- Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies -- Integration Adapter Modeling -- Service Science and Computing -- Modelling Service Level Agreements for Business Process Outsourcing Services -- Deriving Artefact-Centric Interfaces for Overloaded Web Services. |
Record Nr. | UNISA-996200022903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings / / edited by Henderik A. Proper, Janis Stirna |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 228 p. 67 illus., 45 illus. in color.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering Information Systems Applications (incl. Internet) Business Information Systems Software Engineering Enterprise Architecture Computer Appl. in Administrative Data Processing |
ISBN | 3-030-20948-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | COGNISE 2019 -- The Impact of Confusion on Syntax Errors in Simple Sequence Flow Models in BPMN -- A Case Study of Executive Functions in Real Process Modeling Session -- The Subjective Cost of Writing Reusable Code: The Case of Functions -- Climb Your Way to the Model: Teaching UML to Software Engineering Students -- KET4DF 2019 -- A New Method for Manufacturing Process Autonomous Planning in Intelligent Manufacturing System -- Design of Meshing Assembly Algorithms for Industrial Gears Based on Image Recognition -- Detecting Anomalous Behavior Towards Predictive Maintenance -- Data Analytics towards Predictive Maintenance for Industrial Ovens: A Case Study Based on Data Analysis of Various Sensors Data -- A RAMI 4.0 View of Predictive Maintenance: Software Architecture, Platform and Case Study in Steel Industry -- Different Perspectives of a Factory of the Future: An Overview -- Predictive Maintenance in a Digital Factory Shop-floor: Data Mining on Historical and Operational Data coming from Manufacturers’ Information Systems -- Information Extraction for Additive Manufacturing using News Data -- A Fog Computing Approach for Predictive Maintenance -- BIOC & FAiSE 2019 -- Blockchain Usage for Government-issued Electronic IDs: a Survey -- Smart Contracts and Void Declarations of Intent -- Blockchain-based Application Security Risks: A Systematic Literature Review -- Data Management: Relational vs. Blockchain Databases -- A Generic Framework for Flexible and Data-Aware Business Process Engines -- Building Information Systems using Collaborative-filtering Recommendation Techniques. . |
Record Nr. | UNINA-9910337838903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings / / edited by Raimundas Matulevičius, Remco Dijkman |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 279 p. 98 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering Information Systems Applications (incl. Internet) Business Information Systems Software Engineering Enterprise Architecture Computer Appl. in Administrative Data Processing |
ISBN | 3-319-92898-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ASDENCA – Advances in Services DEsign based on the Notion of Capability -- Validation of Capability Modeling Concepts: A Dialogical Approach -- Towards Improving Adaptability of Capability Driven Development Methodology in Complex Environment -- Using Open Data to Support Organizational Capabilities in Dynamic Business Contexts -- Capability Management in the Cloud: Model and Environment -- BDA – Business Data Analytics: Techniques and Applications. -Using BPM Frameworks for Identifying Customer Feedback about Process Performance -- Increasing Trust in (Big) Data Analytics -- Building Payment Classification Models From Rules and Crowdsourced Labels: A Case Study -- BIOC – Blockchains for Inter-Organizational Collaboration -- Towards a Design Space for Blockchain-based System Reengineering -- Ensuring Resource Trust and Integrity in Web Browsers using Blockchain Technology -- Combining Artifact-driven Monitoring with Blockchain: Analysis and Solutions -- Towards Collaborative and Reproducible Scientific Experiments on Blockchain -- Document Management System based on a Private Blockchain for the Support of the Judicial Embargoes Process in Colombia -- COGNISE – Cognitive Aspects of Information Systems Engineering -- The Origin and Evolution of Syntax Errors in Simple Sequence Flow Models in BPMN -- Mining Developers’ Workflows from IDE Usage -- Designing for Information Quality in the Era of Repurposable Crowdsourced User-Generated Content -- Test First, Code Later: Educating for Test Driven Development -- Workshop on Enterprise Modeling -- An Application Design for Reference Enterprise Architecture Models -- The “What” Facet of the Zachman Framework - a Linked Data-driven Interpretation -- Towards an Agile and Ontology-aided Modeling Environment for DSML Adaptation -- Towards a Risk-aware Business Process Modelling Tool Using the ADOxx Platform -- FAiSE – Flexible Advanced Information Systems -- A Reference Framework for Advanced Flexible Information Systems -- Integrating IoT Devices into Business Processes. |
Record Nr. | UNINA-9910444451303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings / / edited by Andreas Metzger, Anne Persson |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 123 p. 31 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering Education—Data processing Information Systems Applications (incl. Internet) Business Information Systems Software Engineering Enterprise Architecture Computer Appl. in Administrative Data Processing Computers and Education |
ISBN | 3-319-60048-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254812503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings / / edited by John Krogstie, Haralambos Mouratidis, Jianwen Su |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXIII, 276 p. 75 illus.) |
Disciplina | 005.365 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Management information systems
Application software Software engineering Computer security Business Information Systems Information Systems Applications (incl. Internet) Software Engineering Enterprise Architecture Systems and Data Security Computer Appl. in Administrative Data Processing |
ISBN | 3-319-39564-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Third International Workshop on Advances in Services Design Based on the Notion of Capability - ASDENCA 2016 Preface -- ASDENCA 2016 Organization -- First International Workshop on Business Model Dynamics and Information Systems Engineering (BumDISE 2016) Preface -- Fourth International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE 2016) Preface -- First International Workshop on Energy-Awareness and Big Data Management in Information Systems - EnBIS 2016 Preface -- Second International Workshop on Enterprise Modeling (EM 2016) Preface -- The Sixth International Workshop on Information Systems Security Engineering (WISSE 2016) Preface -- Contents -- ASDENCA/BUMDISE 2016 - Capability-Based Development Methods -- Selection and Evolutionary Development of Software-Service Bundles: A Capability Based Method -- Abstract -- 1 Introduction -- 2 Method Overview -- 2.1 Problem Statement -- 2.2 Evolutionary Development Process -- 2.3 Capability Modeling -- 3 Evolutionary Development Stages -- 3.1 Design Stage -- 3.2 Delivery Stage -- 3.3 Evolution -- 4 Application Example -- 4.1 Description -- 4.2 Model -- 4.3 Results -- 5 Related Work -- 6 Summary and Future Work -- References -- LightCDD: A Lightweight Capability-Driven Development Method for Start-Ups -- Abstract -- 1 Introduction -- 2 Problem Investigation -- 3 First Experiences on Applying CDD for Enterprise Development -- 3.1 Capability as a Service in a Nutshell -- 3.2 Two Practical Start-up Cases -- 3.3 Applying the CDD in Full -- 3.4 Lessons Learnt, Experiences -- 4 Light CDD for Enterprise Modelling of Start-Ups -- 5 Conclusions and Discussion -- References -- ASDENCA/BUMDISE 2016 - Integration of Capability with Goals and Context -- Comparison of Tool Support for Goal Modelling in Capability Management -- Abstract -- 1 Introduction -- 2 Background.
2.1 Capability Management -- 2.2 Capability Modelling in CaaS -- 2.3 4EM Enterprise Modelling Method -- 3 Experiment Design and Results -- 3.1 Experiment Design -- 3.2 Experiment Results -- 4 Summary and Future Work -- References -- Extending Capabilities with Context Awareness -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Capability and Context Analysis -- 4 Selecting Design Time Integration -- 4.1 Design Time Options in the Symbiosis Case -- 5 Selecting Run-Time Integration -- 5.1 Monitoring Tool Extension -- 5.2 Adjustment Tool Extension -- 5.3 Run Time Options in the Symbiosis Case -- 6 Summarize Tool Support Needed -- 7 Conclusions -- Acknowledgments -- References -- Design of Capability Delivery Adjustments -- Abstract -- 1 Introduction -- 2 Capability Adjustment -- 2.1 Background -- 2.2 Types of Adjustments -- 3 Elaboration of Adjustments -- 4 Example -- 5 Related Work -- 6 Conclusion -- References -- ASDENCA/BUMDISE 2016 - Business Modeling -- The Fast Fashion Business Model -- Abstract -- 1 The Apparel Industry -- 2 Research Design and Setting -- 3 The Creative Machine -- 4 The Shop Connection -- 5 The Relay -- 6 The Fast Fashion Business Model -- 7 Conclusion -- References -- Cycles of Organizational Renewal: The Interplay of Strategy and Innovation at Bang & Olufsen -- Abstract -- 1 Introduction -- 2 Methods -- 3 Preliminary Findings -- 4 Conclusion -- References -- Information Systems for Innovation: A Comparative Analysis of Maturity Models' Characteristics -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Innovation Maturity Models in Research and Practice -- 4 Models' Structures and Validation -- 5 Discussion of the Results -- 6 Conclusion and Future Work -- References -- COGNISE 2016 -- Learning from Errors as a Pedagogic Approach for Reaching a Higher Conceptual Level in Database Modeling -- Abstract -- 1 Introduction. 2 Teaching Database Modelling as a Challenge to IS Educators -- 3 Learning from Errors in Educating Database Modeling -- 4 Rasmussen's Three Level Model of Human Performance -- 4.1 Skill-Based Behavior -- 4.2 Rule-Based Behavior -- 4.3 Knowledge-Based Behavior -- 5 Errors as means for Shifting Between Levels of Abstraction -- 6 Conclusions: Future Directions and Instructional Implications -- References -- `Mathematical' Does Not Mean `Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts -- 1 Introduction -- 2 Previous Works -- 3 The Gen2sat Assignment -- 3.1 Gen2sat -- 3.2 The Assignment -- 3.3 Results and Feedback -- 4 Summary and Future Research -- References -- User Involvement in Applications of the PoN -- 1 Introduction -- 2 Reviewing Applications of the PoN -- 2.1 Literature Review Protocol -- 2.2 Relevant Findings -- 3 Potential Reasons for the Lack of User Involvement -- 3.1 Notation Designers Considered as the Prototypical User -- 3.2 Users are Involved, but Afterwards -- 3.3 Requirements are Derived from Theory -- 3.4 Existing Theory is Assumed to Cover Requirements -- 3.5 Cognitive Effectiveness is an Afterthought -- 4 A Benefit of Involving Users in Notations Design -- 5 Concluding Outlook -- References -- A Visual Logical Language for System Modelling in Combinatorial Test Design -- 1 Introduction -- 2 Logical Restrictions in CTD Models -- 3 A New Visual Logical Language -- 4 Summary and Future Research -- References -- Peel the Onion: Use of Collaborative and Gamified Tools to Enhance Software Engineering Education -- Abstract -- 1 Introduction -- 2 Scientific Background -- 2.1 Collaborative Tools in Education -- 2.2 Gamification in IS and SE Education -- 3 Collaborative and Gamified Teaching Method -- 3.1 The Method -- 3.2 Analyzing the Teaching Model from a Motivational Perspective. 4 Students' Responses to the Teaching Method -- 5 Expected Contribution and Further Evaluation -- References -- ENBIS 2016 -- Energy Enhancement of Multi-application Monitoring Systems for Smart Buildings -- 1 Introduction -- 2 Related Works -- 3 Overview of Multi-application Monitoring System -- 4 Optimization of Application Requirements -- 4.1 Formalization of Application Requirements and Sensor Configuration -- 4.2 Algorithm -- 5 Experimental Platform -- 5.1 Continuous Query Engine: SoCQ Engine -- 5.2 WSN Simulator: Modified WSNet -- 5.3 Gateway: 3SoSM Gateway -- 6 Experiments -- 6.1 Experiment Setup -- 6.2 Experimental Scenario -- 7 Conclusion -- References -- Micro-accounting for Optimizing and Saving Energy in Smart Buildings -- 1 Introduction -- 2 The OPlatform -- 3 Energy Savings in Offices -- 4 Smart Energy Switch -- 5 Conclusions and Future Works -- References -- Modeling CO2 Emissions to Reduce the Environmental Impact of Cloud Applications -- 1 Introduction -- 2 Related Work -- 3 Energy Mix Analysis -- 3.1 Analysis of the Problem -- 3.2 Conceptualization -- 3.3 Calibration -- 3.4 Validation -- 4 CO2-Driven Site Selection -- 5 Concluding Remarks -- References -- EM 2016 -- Modeling and Enacting Enterprise Decisions -- 1 Introduction and Related Work -- 2 Background -- 2.1 Decision Model and Notation (DMN) -- 2.2 Formalization -- 3 The Role of Decision Models -- 3.1 A Decision Model Corresponding to a Single Decision Activity in a Process Model -- 3.2 A Decision Model Spanning over Multiple Decision Activities in an Existing Process Model -- 3.3 A Decision Model that can Be Translated to a Straightforward Process for Execution -- 3.4 Executing a Decision Model Beyond One Fixed Decision: Flexibility -- 4 Three Scenarios for the Execution of Decision Models -- 4.1 Standard Forward Decision Execution -- 4.2 Optimized Forward Decision Execution. 4.3 Flexible Decision Execution Scenarios -- 5 Conclusions and Future Work -- References -- A Modelling Environment for Business Process as a Service -- Abstract -- 1 Introduction -- 2 Literature Review -- 3 Overview of the BPaaS Design Environment -- 4 Methodology -- 5 BPaaS Modelling Method -- 6 BPaaS Ontology -- 7 Alignment Support -- 8 Semantic Lifting -- 9 Conclusion -- Acknowledgement -- Reference -- Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario -- 1 Introduction -- 2 Working Scenario -- 3 Process Mining Techniques -- 4 Process Mining into Practice -- 4.1 Evaluation Criteria -- 4.2 Preliminary Results -- 4.3 Discussion and Comparison -- 5 Conclusion and Future Work -- References -- WISSE 2016 -- Software Vulnerability Life Cycles and the Age of Software Products: An Empirical Assertion with Operating System Products -- 1 Introduction -- 2 The Assertion -- 3 Evaluation -- 3.1 Data -- 3.2 Control Variables -- 3.3 Methods -- 3.4 Sampling -- 3.5 Results -- 4 Discussion -- References -- APPARATUS: Reasoning About Security Requirements in the Internet of Things -- 1 Introduction -- 2 Related Work -- 3 Presentation of APPARATUS Reasoning -- 4 Example of Security Reasoning -- 5 Conclusion -- References -- Associating the Severity of Vulnerabilities with their Description -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Database, Characteristics and Scoring Systems -- 4 Correlation Analysis -- 5 Conclusion -- References -- Discovering Potential Interaction Violations among Requirements -- 1 Introduction -- 2 Background and Related Work -- 3 Discovering Undocumented Scenarios -- 3.1 Modeling a Domain -- 3.2 Analysing the Model -- 3.3 The Loophole Algorithm -- 4 Conclusion and Future Work -- References -- Extending HARM to make Test Cases for Penetration Testing -- Abstract. 1 Introduction. |
Record Nr. | UNINA-9910254945503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|